Fingerprint
- 1 Similar Profiles
-
Ellipses and lambda definability
Goldberg, M., 30 Sep 2015, In: Logical Methods in Computer Science. 11, 3, 25.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
A declarative approach for software modeling
Goldberg, M. & Wiener, G., 21 Feb 2012, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings. p. 18-32 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7149 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations -
Computing functions by approximating the input
Goldberg, M., 1 Dec 2012, In: International Journal of Mathematical Education in Science and Technology. 43, 8, p. 1092-1099 8 p.Research output: Contribution to journal › Article › peer-review
-
Generating Code for Associations Supporting Operations on Multiple Instances
Goldberg, M. & Wiener, G., 1 Dec 2011, Evaluation of Novel Approaches to Software Engineering - 5th International Conference, ENASE 2010, Revised Selected Papers. Maciaszek, L. A. & Loucopoulos, P. (eds.). p. 163-177 15 p. (Communications in Computer and Information Science; vol. 230).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
A pumping lemma for invalid reductions of fractions
Fried, M. N. & Goldberg, M., 1 Nov 2010, In: College Mathematics Journal. 41, 5, p. 357-364 8 p.Research output: Contribution to journal › Article › peer-review
2 Scopus citations -
Generating flexible code for associations
Goldberg, M. & Wiener, G., 1 Dec 2010, ENASE 2010 - Proceedings of the 5th International Conference on Evaluation of Novel Approaches to Software Engineering. p. 96-104 9 p. (ENASE 2010 - Proceedings of the 5th International Conference on Evaluation of Novel Approaches to Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Round-trip modeling using OPM/PL
Goldberg, M. & Wiener, G., 15 Sep 2010, SwSTE2010: IEEE International Conference on Software Science, Technology, and Engineering. p. 13-21 9 p. 5532552. (SwSTE2010: IEEE International Conference on Software Science, Technology, and Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
Computing logarithms digit-by-digit
Goldberg, M., Aug 2006, In: International Journal of Mathematical Education in Science and Technology. 37, 1, p. 109-114Research output: Contribution to journal › Article › peer-review
-
A variadic extension of curry's fixed-point combinator
Goldberg, M., 1 Dec 2005, In: Higher-Order and Symbolic Computation. 18, 3-4, p. 371-388 18 p.Research output: Contribution to journal › Article › peer-review
6 Scopus citations -
There and back again
Danvy, O. & Goldberg, M., 7 Sep 2005, In: Fundamenta Informaticae. 66, 4, p. 397-413 17 p.Research output: Contribution to journal › Article › peer-review
14 Scopus citations